//==========================================================================
// Copyright (c) 2000-2008,  Elastos, Inc.  All Rights Reserved.
//==========================================================================

#include <core.h>
#include "setup.h"

EXTERN_C DECL_CODEINIT void CDECL SetupMMU(
    physaddr_t paKernelPhysBase, physaddr_t paKernelImagePhysBase,
    physaddr_t paMemoryMappedIoBase, physaddr_t paMemoryMappedIoLimit)
{
    SetupPaging(paKernelPhysBase, paKernelImagePhysBase);

    SetupSegmentation();
}
